Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
351	A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Model theory Data management Mathematical notation Tuple Type theory Symbol Finitary relation Structure First-order logic Mathematics Mathematical logic Logic
352	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Predicate transformer semantics Program logic KeY IP NP Symbolic execution PP Algorithm Function Theoretical computer science Mathematics Applied mathematics
353	Message from the Program Co-Chairs of Hot Chips 8 The continuing growth in chip capacity provides unparalleled opportunities for creative expression in the marketplace. In twenty years, we have seen single “logic” ch Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:47:43 Exonumia Casino token Hot Chips MOS Technology SID Gambling Entertainment Gaming
354	Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:37 Data types Primitive types Procedural programming languages Program logic Pointer Type theory Reference ALGOL 68 C Software engineering Computing Programming language theory
355	Improving the Use of Program Evaluation for Maximum Health Impact: Guidelines and Recommendations Responses to Frequently Asked Questions March[removed]Why are these guidelines and recommendations necessary? Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2015-04-02 10:59:48 Methodology Impact assessment Program evaluation Impact evaluation Logic model Performance measurement Empowerment evaluation MEASURE Evaluation Evaluation Evaluation methods Sociology
356	Introduction to Program Obfuscation Yury Lifshits Saint-Petersburg State University http://logic.pdmi.ras.ru/˜yura/ [removed] Add to Reading List Source URL: yury.name Language: English - Date: 2006-08-19 21:36:28 Obfuscation Obfuscated code Source code International Obfuscated C Code Contest J Hardware obfuscation Computer programming Software engineering Computing
357	First-Year Writing Program Spring 2015 Course Descriptions General Description of[removed], Reading and Writing in an Academic Context 9 units Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2014-10-29 10:48:53 Logic Educational psychology Philosophy of education Writing Rhetoric Reading comprehension Writing process Education Knowledge Critical thinking
358	Guide to the Performance Management Framework Add to Reading List Source URL: apps.treasury.act.gov.au Language: English - Date: 2014-07-18 02:02:11 Performance indicator Program management Accountability Logic model Organizational analysis Management Business Performance measurement
359	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
360	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science

UPDATE